Tracing Logical Concurrency for Dynamic Race Detection in OpenMP Programs

OpenMP is an industry standard supporting a serialized program to be executed in parallel with simple compiler directives and libraries. OpenMP covers only user-directed parallelization and does not enforce to fix concurrency bugs, such as data races. However it is difficult to locate data races occurred in an execution of the program, because they may lead the program execution to be non-deterministic. Previous work considers only physically concurrent threads to detect data race in OpenMP programs dynamically, and it misses apparent data races among logically concurrent threads. This work presents a fine-grained tool which traces implicit threading points with empirical investigation. We implemented the tool on top of Pin instrumentation framework and experimented the correctness of our tracer with a data race detector.